Mathematical Intuitionism: Introduction to Proof Theory (Translations of Mathematical Monographs)
by A.G. Dragalin,E. Mendelson
ISBN 13: 9780821845202
Format: Paperback (228 pages) Publisher: American Mathematical Society Published: 01 Jan 1988
Save for later